MIME-Version: 1.0
Server: CERN/3.0
Date: Tuesday, 07-Jan-97 15:47:25 GMT
Content-Type: text/html
Content-Length: 1131
Last-Modified: Wednesday, 08-Feb-95 19:12:46 GMT

<title>Further UNITY references</title>

Besides the <!WA0><!WA0><a href="http://www.cs.utexas.edu/users/psp/notesunity.html">notes on UNITY</a> series
and the  <!WA1><!WA1><a href="http://www.cs.utexas.edu/users/psp/newunity.html">New UNITY</a> manuscript, the following
files might relevant to people who are interested in the UNITY formalism.<p>

<ul>
<li> A list of <!WA2><!WA2><a href="ftp://ftp.cs.utexas.edu/pub/psp/unity/unityimp.txt">implementations</a> of
UNITY as collected by Lutz Prechelt in 1993.

<li> A list of <!WA3><!WA3><a href="ftp://ftp.cs.utexas.edu/pub/psp/unity/unityref.txt">BIBTeX references</a>
to the UNITY literature as collected by W.G.Day in 1991.

<li> More <!WA4><!WA4><a
href="ftp://ftp.cs.utexas.edu/pub/psp/unity/unitybib1.txt">BIBTeX
references</a> collected from the <!WA5><!WA5><a
href="http://glimpse.cs.arizona.edu:1994/bib/index.html">Glimpse
Server</a> 1994.

<li> A <!WA6><!WA6><a href="ftp://ftp.cs.utexas.edu/pub/psp/unity/substitution.txt">discussion</a> on the
soundness of the substitution axiom in UNITY, as it took place in
comp.theory in 1993.

</ul>

Note that these files have not been updated, so the information might not
be up to date.<p>

<address><!WA7><!WA7><a href="http://net.cs.utexas.edu/users/kornerup/">Jacob Kornerup</a></address>